
@echo off

%~d0
cd %~dp0

set php56_home=../php/php-5.6.27-nts
set php70_home=../php/php-7.0.12-nts
set php71_home=../php/php-7.1.26-nts
set php73_home=../php/php-7.3
set php74_home=../php/php-7.4

@doskey php56="%php56_home%\php.exe" $*
@doskey php70="%php70_home%\php.exe" $*
@doskey php71="%php71_home%\php.exe" $*
@doskey php73="%php73_home%\php.exe" $*
@doskey php74="%php74_home%\php.exe" $*
